41. Logicism, intuitionism, and formalism: what has become of them?
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Intuitionistic mathematics,Philosophy History ، Mathematics
رده :
QA
8
.
4
.
L635
2009
42. Mathematical intuitionism : introduction to proof theory
پدیدآورنده : Dragalin, Albert Grigorevich
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
D7313
1988
43. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intuitionistic Mathematics. ; Proof Theory. ; Model Theory. ;
44. Metamathematical investigation of intuitionistic arithmetic and analysi
پدیدآورنده : / A.S. Troelstra (editor)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Intuitionistic mathematics.,Proof theory.,Model theory.
رده :
QA3
,.
L28
,
no
.,
34
45. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
46. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
رده :
QA
3
.
L28
no
.
344
47. On Brouwer /
پدیدآورنده : Mark Van Atten.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Brouwer, L. E. J., (Luitzen Egbertus Jan),1881-1966.,Brouwer, L. E. J., (Luitzen Egbertus Jan),1881-1966,Intuitionistic mathematics.,Mathematics-- Philosophy.,Intuïtionisme.,Intuitionistic mathematics.,Mathematics-- Philosophy.
رده :
QA29
.
B697
A88
2004
48. One hundred years of intuitionism (1907-2007) :
پدیدآورنده : Mark van Atten ... [et al.], editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Brouwer, L. E. J., (Luitzen Egbertus Jan),1881-1966,Intuitionistic mathematics,Mathematics-- Philosophy
رده :
QA9
.
47
.
O54
2008
49. One hundred years of intuitionism )1907-2007(: the Cerisy conference
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Brouwer, L. E. J.)Luitzen Egbertus Jan(,1881-6691,، Intuitionistic mathematics,Philosophy ، Mathematics
رده :
QA
9
.
47
.
O54
2008
50. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : Philosophy ، Mathematics,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T534
2005
51. Phenomenology, logic, and the philosophy of mathematics
پدیدآورنده : Tieszen, Richard L.
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Phenomenology,، Logic, Symbolic and mathematical,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
8
.
4
.
T53P45
52. Principles of intuitionism
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
95
53. Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory )1968( at SUNY
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
T84
1968
54. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
55. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
no
.
212
56. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
1
.
L4
v
.
212
57. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
3
.
L28
Vol
.
212
58. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
9
.
S3
1971
59. Proof theory and intuitionistic systems
پدیدآورنده : / Bruno Scarpellini
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Intuitionistic mathematics,Proof theory
رده :
510
.
8
L471
No
.
212
60. Semantical investigations in Heyting's intuitionistic logic
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
G22S4
